101. Interconnection networks for large-scale parallel processing : theory and case studies

المؤلف:

المکتبة: (طهران)

موضوع: Computer networks , Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Computer architecture

رده :
TK
5105
.
5
.
S54
1990

102. Interconnection networks for large-scale parallel processing: theory and case studies

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Computer networks,، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Computer architecture

رده :
TK
5105
.
5
.
S54
1990

103. International Conference on Parallel and Distribiuted Processing Techniques and Applications

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Parallel processing )Electronic computers(-- Congresses,، Electronic data processing-- distriuted processing-- Congresses

رده :
QA
76
.
58
.
I5352

104. Introduction to parallel computing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)

رده :
QA76
.
642

105. It's all about coordination :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
58
.
I87
2018eb

106. Job scheduling strategies for parallel processing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.

رده :
QA76
.
58

107. Languages, compilers, and run-time environments for distributed memory machines /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Compilers (Computer programs),Electronic data processing-- Distributed processing,Programming languages (Electronic computers)

رده :
QA76
.
9
.
D5
L3655
1992

108. Linear time, branching time, and partial order in logics and models for concurrency

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Parallel processing (Electronic computers)►Electronic data processing- Distributed processing

رده :
76
.
5
.
L523

109. Linear time, branching time, and partial order in logics and models for concurrency :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)

رده :
QA76
.
5
.
L523
1989

110. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988

المؤلف:

المکتبة: (طهران)

موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
354

111. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing

رده :
QA
76
.
5
.
L523
1989

112. Linux cluster architecture

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Parallel processing )Electronic computers(,، Parallel computers,Distributed processing ، Electronic data processing,، Computer architecture

رده :
QA
76
.
58
.
V74

113. Linux cluster architecture /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Linux,Computer architecture,Electronic data processing-- Distributed processing,Parallel computers,Parallel processing (Electronic computers)

رده :
QA76
.
58
.
V74
2002

114. Logics for concurrency : structure versus automata

المؤلف:

المکتبة: (طهران)

موضوع: ، Electronic data processing -- Distributed processing,، Parallel processing )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1043

115. Modelling distributed systems

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Parallel programs (Computer programs)--Verification

رده :
QA
,
76
.
58
,.
F65
,
2007

116. Modelling distributed systems

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Parallel programs (Computer programs) ; Verification. ; Parall?lisme (Informatique) ; Traitement r?parti. ;

117. Network and parallel computing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses

رده :
QA76
.
58
.
N63
2013

118. Network and parallel computing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)

رده :
QA76
.
58

119. Network-based parallel computing

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Parallel processing (Electronic computers), Congresses.

120. New horizons of parallel and distributed computin

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing

رده :
QA
,
76
.
58
,.
N49
,
2005